#ifndef _IRQ_
#define _IRQ_

#include <dint.h>
#include <type.h>

void init_irq_chain();
int request_irq(kdrv *driver,int irq,void *handler);
int release_irq(int irq,void *handler);
int request_irq_mono(kdrv *driver,int irq,void *handler);
void init_irq();
u32 get_irq_count(int irqno);
u32 *byref_get_irq_count(int irqno);

int got_irq(int irqno);

int kernel_lock();
int kernel_unlock();

#endif
